1. ......................
پدیدآورنده : edited by R. Parikh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
453
2. Future pasts
پدیدآورنده : / edited by Juliet Floyd, Sanford Shieh
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Analysis (Philosophy)
رده :
B
,
808
.
5
,.
F88
,
2001
3. Logic Colloquium : Symposium on Logic held at Boston, 1977-1973
پدیدآورنده : edited by R. Parikh
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
453
4. Logic colloquium; symposium on logic held at Boston, 1972-73
پدیدآورنده : / edited by R. Parikh
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Logic, Symbolic and mathematical - Congresses
رده :
510
.
8
L471
No
.
453
5. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer programs-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
L5855
1985
6. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده : edited by Rohit Parikh
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
193
7. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده : edited by Rohit Parikh
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
193
8. Proof, computation and agency :
پدیدآورنده : edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
9. Readings in Formal Epistemology
پدیدآورنده : edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
10. Readings in Formal Epistemology :
پدیدآورنده : edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
11. Rohit Parikh on Logic, Language and Society
پدیدآورنده : edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
